Verifying Business Processes Extracted from E-Commerce Systems Using Dynamic Analysis

E-commerce systems must react in real-time to user inputs and business rules. For the purpose of redocumentation, static analysis is often adopted to recover business processes implemented in ecommerce systems. However, static analysis fails to recover the complete tasks in business processes due to the dynamic nature of e-commerce systems. To improve the accuracy of recovered business processes, we devise dynamic analysis techniques which trace the execution of processes. We recover usage scenarios from the execution logs and use them to verify the business processes recovered using static analysis. We verify the effectiveness of our proposed approach through a case study on OFBiz e-commerce applications.